Stereoselective Formal Synthesisof Herbarumin III via Prins Cyclization