Synthesis of anatoxin-a. A constituent of blue-green freshwater algae