targeted mutation 1.1, Kiyoshi Kawakami Atp1a3<tm1.1Kwk> MGI:5572809 http://identifiers.org/mgd/MGI:5572809 Null/knockout