Terpenoid biosynthesis and the stereochemistry of enzyme-catalysed allylic addition-elimination reactions.