MGI:3763219 http://identifiers.org/mgd/MGI:3763219 Tacc3<tm1.2Tno> Tacc3<D> targeted mutation 1.2, Tetsuo Noda Null/knockout