Hoxa1<tm4(Hoxb1)Mrc> http://identifiers.org/mgd/MGI:3702592 MGI:3702592 Hoxa1<B1(g)> targeted mutation 4, Mario R Capecchi