You can use an HDMI audio extractor to separate audio and video signals and then connect the audio output from the extractor to the audio receiver.