Total syntheses of zaragozic acids A and C by a carbonyl ylide cycloaddition strategy.