The surgical treatment of double-elevator paralysis.