An intramolecular addition to a benzyme: the synthesis of monosubstituted heptafluorobiphenylenes