Michael addition-based cyclization strategy in the total synthesis of Lycopodium alkaloids