Formal Total Syntheses of Crocacin A-D