Title: Selenium dioxide oxidation of cyclohexanone derivatives