Truncation and Alanine-Scanning Mutants of Type I Adenylyl Cyclase | Synapse