CIRCUMSTELLAR ION–MOLECULE CHEMISTRY: OBSERVATIONS OF HCO+ IN THE ENVELOPES OF O-RICH STARS AND IRC+10216