Formal Total Synthesis of (+)-Diepoxin σ | doi.page