Mutations Uncover a Role for Two Magnesium Ions in the Catalytic Mechanism of Adenylyl Cyclase