The electrolytic reduction of substituted benzoic acids. I. Halobenzoic acids