Ripk1<tm1.1Vmd> Null/knockout MGI:5614600 http://identifiers.org/mgd/MGI:5614600 targeted mutation 1.1, Vishva M Dixit