MGI:5446610 Null/knockout Il23r<tm1.2Trin> http://identifiers.org/mgd/MGI:5446610 targeted mutation 1.2, Giorgio Trinchieri