Formal total synthesis of histrionicotoxin alkaloids via Hg(OTf)2-catalyzed cycloisomerization and SmI2-induced ring expansion