Then you have no justifiable gains to take the 400 VDC and reduce it down to 12 VDC with a dedicated converter when you already have an active 120/240 VAC source being fed by the solar power through your grid tie inverter system that nay common transformer or SMPS based step down power unit can plug into.The 4 kW solar ( 5.5 kW rated ) is grid tied & keeps me cool in the summer while I pay my $ 11. electric bill monthly & collect about $ 90 credit every October. Playing the what if card I've collected some large E cores
& a pair of 400 A, 45 V shottky diodes. I already have a 2 kW 12 to 120 V AC invertor from long gone motor home.