http://identifiers.org/mgd/MGI:5523898 targeted mutation 1.1, Johannes Kornhuber MGI:5523898 Null/knockout Asah1<tm1.1Jhkh>