MGI:3772371 http://identifiers.org/mgd/MGI:3772371 targeted mutation 1.1, Hao Ding Null/knockout Rtel1<tm1.1Hdin> Rtel<deltaexon7>