Hypertrophic olivary degeneration.