http://identifiers.org/mgd/MGI:4838023 PIPKIgammadeltaE17 targeted mutation 1.2, Reinhard Fassler Hypomorph Pip5k1c<tm1.2Ref> MGI:4838023 PIPKIgamma90<->