AGTPBP1 and Ataxia: Thus, two CCP1 mutants (i.e., Ataxia and Male Sterility [AMS] mice and Nna1 knockout [KO] mice) are used as disease models.