A domino-based approach toward stereodefined heavily functionalized cyclohexanes: synthesis of iridal's core structure.