MGI:3623144 http://identifiers.org/mgd/MGI:3623144 PA200<delta> targeted mutation 1, Barry P Sleckman Null/knockout Psme4<tm1Slek>