Remote asymmetric induction in an intramolecular ionic Diels-Alder reaction: application to the total synthesis of (+)-dihydrocompactin.