targeted mutation 1, Pierre Vanderhaeghen EphA4<deltaPBM>> Null/knockout http://identifiers.org/mgd/MGI:3693889 Epha4<tm1Pvan> MGI:3693889