女性，42岁，右上肢逐渐无力半年，尿潴留4个月。查体：右上肢肌萎缩，肌力3级，左上肢肌力4级，双下肢肌力4～5级，双Babinski征（+）；双上肢及肩背部痛觉消失，触觉存在，最可能的诊断是（）。