Humanized sequence|Conditional ready|Inserted expressed sequence http://identifiers.org/mgd/MGI:3832385 MGI:3832385 Gt(ROSA)26Sor<tm3(HIF1A*)Kael> ROSA26-HA-HIF1dPA targeted mutation 3, William G Kaelin