Null/knockout http://identifiers.org/mgd/MGI:3795271 Tsc2<tm1.1Kido> targeted mutation 1.1, Yoshiaki Kido MGI:3795271