4.6.1.1 ATP diphosphate-lyase (cyclizing; 3',5'-cyclic-AMP-forming)