Can I use the USB-C port of Osmo Pocket 4 to export real-time footage with an HDMI cable?

No.