Conditional ready|No functional change Txnrd1<loxP> MGI:3574358 http://identifiers.org/mgd/MGI:3574358 targeted mutation 1, Marcus Conrad Txnrd1<tm1Marc>