MGI:3844593 http://identifiers.org/mgd/MGI:3844593 Hoxc4<tm2.1Mrc> targeted mutation 2.1, Mario R Capecchi Null/knockout