Adjusting a texture's color temperature
Multiplying the color of the HDRi with the blackbody color seems to do what you want. I don't know if it's physically accurate however.

Multiply node is added by adding a Color > MixRGB node and changing the operator to Multiply