http://identifiers.org/mgd/MGI:5898257 targeted mutation 1.2, Zheng-Zheng Shi MGI:5898257 Ola1<tm1.2Zshi> Null/knockout