MGI:3762531 Trp53<tm5Xu> http://identifiers.org/mgd/MGI:3762531 Humanized sequence targeted mutation 5, Yang Xu p53<R273H>