Intracranial repair of a divided trochlear nerve. Case report.