MGI:5578147 Null/knockout http://identifiers.org/mgd/MGI:5578147 Idh2<tm1Jwpk> targeted mutation 1, Jeen-Woo Park