Construction of the tricyclic core of steenkrotin-type diterpenoids via intramolecular [3 + 2] cycloaddition.