The HP EliteDesk 800 G4 TWR takes a standard ATX power supply

No proprietary nonsense here — any standard ATX PSU fits in the dedicated bay, though the system ships with either a 250W or 500W unit.