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