Diastereoselective access to polyoxygenated polycyclic spirolactones through a rhodium-catalyzed [3+2] cycloaddition reaction: experimental and theoretical studies.