spinocerebellar ataxia type 42