Mir18<tm1.1Aven> miR17~92delta18 targeted mutation 1.1, Andrea Ventura Null/knockout http://identifiers.org/mgd/MGI:5648414 MGI:5648414