O Transgene Tg(Pten)1Srn MGI:5645731 transgene http://identifiers.org/mgd/MGI:5645731 transgene insertion 1, Manuel Serrano