Comment by blightful

Extron made great audio extractors and they can be found for cheap. Also nice is it provides balanced stereo output. I have a bunch lf them for getting audio to my mixer from whatever with hdmi.