Hereditary spastic ataxia with congenital miosis: four cases in one family.