transgene Tg(Notch1)A5Rko O MGI:1926620 Transgene MHKA-Notch<deltaE> http://identifiers.org/mgd/MGI:1926620 transgene insertion A5, Raphael Kopan