Intramolecular cycloadditions with oxidopyrylium ylides