Hprt<tm1Detl> JO1 http://identifiers.org/mgd/MGI:1861939 hprt<(CAG)146> MGI:1861939 targeted mutation 1, Peter J Detloff Inserted expressed sequence