Transgene MGI:2677032 K5 E2F1 Tg(KRT5-E2F1)2Dgj 1.1 http://identifiers.org/mgd/MGI:2677032 K5 E2F1|1.1 transgene insertion 2, David G Johnson O transgene