Utx<flx> http://identifiers.org/mgd/MGI:5507836 MGI:5507836 targeted mutation 1c, Rudolf Jaenisch Kdm6a<tm1c(EUCOMM)Jae> Conditional ready