Synthesis and dimethyldioxirane oxidation of tetrahydrobenzofurans