http://identifiers.org/mgd/MGI:3848527 targeted mutation 5.1, Reinhard Fassler Null/knockout MGI:3848527 Itgb1<tm5.1Ref> hpmKI<lox>