Atxn1<tm1Hzo> atxn1<154Q> Atx1-KI targeted mutation 1, Huda Y Zoghbi MGI:2429435 Sca1-KI http://identifiers.org/mgd/MGI:2429435 Sca1<154Q> Inserted expressed sequence Sca1<154Q/2Q>