Tph2<tm1Dmkh> MGI:5487385 Null/knockout http://identifiers.org/mgd/MGI:5487385 targeted mutation 1, Donald M Kuhn