男性，40岁，诉头痛头晕，颈侧弯或后伸时头晕加重。检查，肱二头肌反射亢进，脊髓造影有部分梗阻，最大可能的诊断是