Formal synthesis of tubelactomicins via a transannular Diels–Alder approach