Reactions involving fluoride ion. Part XII. Reactions of polyfluoro-aromatic compounds with octafluorobut-2-ene