A divergent approach to the diastereoselective synthesis of several ant-associated iridoids.