http://identifiers.org/mgd/MGI:5796034 Nrxn3<tm5.2Sud> Null/knockout MGI:5796034 targeted mutation 5.2, Thomas C Sudhof