Applications of the formal oxa-[3+3] cycloaddition to natural product synthesis