Mir145/Mir143<tm1.2Eno> MGI:4359265 http://identifiers.org/mgd/MGI:4359265 Mirc32<tm1.2Eno> targeted mutation 1.2, Eric N Olson Null/knockout