Meanwell is the standard answer for this sort of thing; something in the SD-500 family or sized/optioned as you need. You'll have to do the connectors yourself; you may be able to find junction-post-to-barrel-plug leads of the right size and length off the shelf, but I'd be surprised, and soldering them would take less time than shopping for them.
Thank you
The HP's power-supply is 19.5V:
https://www.ebay.com/itm/235241551377
The SD-500 is available in 12V, 24V, and 48V, none of which adjust to that range:
https://www.meanwell.com/Upload/PDF/SD-500/SD-500-SPEC.PDF
Also, not sure why you're suggesting a DC-DC supply here? His input is AC.