The HP5+ data sheet(
here) gives times in Microphen for a three stop push -- and also times for the same push in HC110.
Given that your films will most likely(!) have some age-fogging, it may be worth trying a short clip test, the first 15cm for example, using HC110 because it has a reputation for developing to a low fog-level, and you have access to the developer. That will give a good guideline to see if you need to modify anything with the rest of the film.
If there seems nothing much left on the film with HC110 at 9 1/2 minutes and Dilution-A, then you have nothing to lose by using DDX or Microphen, which would be the usual developer recommendations for
fresh film, for extra time on the remainder of the roll. Then you have the second roll to make yet another adjustment, if needed.