MGI:1857632 Bmi1<tm1Brn> http://identifiers.org/mgd/MGI:1857632 targeted mutation 1, Anton Berns Bmi1<-> bmi-1- Null/knockout