Adenylyl Cyclase, a Coincidence Detector for Nitric Oxide*