High-voltage DC power supplies