Reaction of octafluoronaphthalene with sulfur trioxide