Formal total synthesis of (−)-spongidepsin