Pten<delta4-5> Null/knockout Pten<tm1.2Mwst> http://identifiers.org/mgd/MGI:4442327 targeted mutation 1.2, Michael Weinstein MGI:4442327