publicações selecionadas A reductive cyclization approach to (-)-histrionicotoxin and lepadiformine B.