男，54岁，教师。一年前无明显原因出现颈部疼痛，颈后伸时症状加重。近2个月颈痛减轻，但出现四肢乏力，行走不稳。检查：颈部活动受限，霍夫曼氏征阳性，臂丛牵拉试验阴性，跟腱反射亢进最可能的诊断（）。