Concise total synthesis of the marine natural product ageladine A.