Text this: Consecutive alkene cross-metathesis/oxonium ylide formation-rearrangement: synthesis of the anti-HIV agent hyperolactone C.