MGI:4443003 Null/knockout http://identifiers.org/mgd/MGI:4443003 Dok3<tm1Ppp> targeted mutation 1, Pier Paolo Pandolfi