Using HCO+ isotopologues as tracers of gas depletion in protoplanetary disk gaps