Thank you for the suggestion. Yes, I use this $70 audio extractor.
https://www.bhphotovideo.com/c/product/1385810-REG/comprehensive_cpa_hda3_4k_18g_hdmi_audio.htmlSo, I have had to add the Up Down Cross converter to output 1080i59.94 and 720p59.94, and an audio extractor. Aside from the cost, what could be a very simple HDMI i/o setup now consists of three devices, power supplies and connecting cables.
My suggestion would be to increase the standards/resolution capacity of the Mini ATEM and add a 3.5 mm program audio out jack.