MGI:4837622 http://identifiers.org/mgd/MGI:4837622 Irs1<smla> Null/knockout Irs1<S57X> small phenotype