The rotational spectrum of fluorotetraacetylene produced by electric discharge