Formal total synthesis of (−)-exiguolide