Setx<tm1.1Mfl> http://identifiers.org/mgd/MGI:5697060 MGI:5697060 targeted mutation 1.1, Martin F Lavin Null/knockout