Application of enantioselective dihalogenation to the total synthesis of terpene natural products