Enantioselective Allylation of β-Haloacrylaldehydes: Formal Total Syntheses of Pteroenone and Antillatoxin