Exact free energy functional for a driven diffusive open stationary nonequilibrium system.