Efficient syntheses of quinolizidine-type poison-frog alkaloids via Michael-type conjugate addition. (1st April 2018)