MGI:3526151 Hoxc5<tm1Mrc> http://identifiers.org/mgd/MGI:3526151 targeted mutation 1, Mario R Capecchi Null/knockout