A concise formal synthesis of luotonin A