男性，35岁，进行性四肢无力2年，饮水发呛及构音障碍半年。检查：双侧舌肌萎缩，四肢肌力4级，腱反射亢进，双侧Babinski征阳性，感觉正常。脑MRI示小脑向下移位，进入椎管内，达颈1下缘，颈2~3椎体融合，T1加权像见颈髓第2～7节段内有一长条状的长T1信号。最可能的诊断为（）