Synthesis of 4,5-seco-eudesman-type sesquiterpenes: 4,5-dioxo-10-epi-4,5-seco-?-eudesmane and 4,5-dioxo-10-epi-4,5-seco-?-eudesmanol