Tnfrsf1a<tm4.1(TNFRSF1A)Gkl> Humanized sequence hTnfrsf1alpha KI MGI:5572951 http://identifiers.org/mgd/MGI:5572951 targeted mutation 4.1, George Kollias