PKG 1alpha Cys42Ser KI Inserted expressed sequence MGI:5313455 PKG 1alpha KI http://identifiers.org/mgd/MGI:5313455 targeted mutation 1.1, TaconicArtemis Prkg1<tm1.1Arte>