targeted mutation 1, David J Kwiatkowski http://identifiers.org/mgd/MGI:1857938 Tsc<-> Tsc2<-> MGI:1857938 Tsc2<tm1Djk> Null/knockout