4.2.3.17 cyclization 4.2.3.17 oxidation