ATXN1[82Q]-D776 Transgene O Tg(Pcp2-ATXN1*82Q*S776D)5Horr http://identifiers.org/mgd/MGI:5518613 transgene insertion 5, Harry T Orr transgene MGI:5518613