Electrophilic substitution at saturated carbon. XLV. Dissection of mechanisms of base-catalyzed hydrogen-deuterium exchange of carbon acids into inversion, isoinversion, and racemization pathways