O Transgene Tg(TRP53*R72P)7Dgj MGI:4819636 transgene http://identifiers.org/mgd/MGI:4819636 transgene insertion 7, David G Johnson