DC to DC ATX / EPS Power Supply

[Nenon]

I am not up to date on what DC to DC power supplies people are using these days as I always had 4 separate rails for my server.

But someone asked me to help building a computer and the budget is limited to a single rail LPS, so we need to use a DC to DC power supply. I know HDPlex makes some. What would you recommend?

It would be powering up an AsROCK gaming motherboard / Intel i9-9900K CPU. Thank you in advance.