Flexible syntheses of 5, 8-disubstituted indolizidine poisonous-frog alkaloids via a Michael-type conjugate addition. (1st February 2017)