Hypertrophic olivary degeneration following surgical excision of brainstem cavernous hemangioma: a case report.