Alternative splicing for the α1 subunit of soluble guanylate cyclase