患者男性，60岁，因“双手肌肉萎缩4年”来诊。体检：患者神清语利，双侧C₅～T₁节段性分离性感觉障碍。颈椎MRI提示C₆～T₁脊髓空洞，增强后C₆～T₁脊髓空洞内均匀强化。本病例首先考虑诊断为（）