Ptpn11<tm1Ckq> targeted mutation 1, Cheng-Kui Qu http://identifiers.org/mgd/MGI:5295460 MGI:5295460 Ptpn11<E76Kneo> Humanized sequence