http://identifiers.org/mgd/MGI:3764940 Apc<tm1.1Tno> Null/knockout Apc<580D> MGI:3764940 Apc<580delta> targeted mutation 1.1, Tetsuo Noda