SAT1 and cerebellar ataxia: Smox/Sat1-dKO mice are normal at birth, but develop progressive cerebellar damage and ataxia.