Dkc1<402E> G402E http://identifiers.org/mgd/MGI:3849599 Humanized sequence targeted mutation 3, Philip J Mason MGI:3849599 Dkc1<tm3Pjma>