Oxidative Desulfurization I: Peroxyformic Acid Oxidation of Benzothiophene and Dibenzothiophene