HDMI Audio Extractor is what you need. Look at OREI.

Perfect! This looks like the one.