Trp45stop hlb548 http://identifiers.org/mgd/MGI:3522220 Gja1<W45X> MGI:3522220 family 193