Total syntheses of leuconoxine, leuconodine B, and melodinine E by oxidative cyclic aminal formation and diastereoselective ring-closing metathesis.