SEARCH Articles Figures Tables Formal synthesis Formal total synthesis Quadrone synthesis Total Synthesis of