Cyp4x1<tm1Lex> Null/knockout MGI:5007103 http://identifiers.org/mgd/MGI:5007103 targeted mutation 1, Lexicon Pharmaceuticals