Isoprenoid biosynthesis. Stereochemistry of the cyclization of allylic pyrophosphates | Synapse