Anaerobic transformation of phenol to benzoate via para-carboxylation: use of fluorinated analogues to elucidate the mechanism of transformation.