SD Signal out of HDMI Port

Hi everyone,
I need to receive a Standard Definition signal out of the HDMI port. Because of the all set up I don't have other option. Do you know what receiver would allow me to do this ? I tested an Icecrypt S3200CCIHD but the SD is only fed on the Scart/CVBS ports.

Thanks for your help!