Total synthesis of halogenated monoterpene marine natural products via the Diels-Alder reaction