sorry, Houska, I was trying to multitask when writing that question earlier.
When using lightmix to reduce the brightness of an HDRI a Corona Bitmap loader is added to the channel containing the HDRI after pushing the >Scene button. The exposure of the HDRI is reduced within the bitmap loader.
How is that reduction in exposure calculated?