MGI:3790968 Mirc1<tm1.2Tyj> http://identifiers.org/mgd/MGI:3790968 miR-17~92<delta> Null/knockout Mirn17-92<tm1.2Tyj> targeted mutation 1.2, Tyler Jacks