http://identifiers.org/mgd/MGI:3832668 MGI:3832668 targeted mutation 1, Ashok Kumar AA haplotype Hprt<tm1(AGT)Asku> Humanized sequence|Inserted expressed sequence