How can I output high resolution audio from HDMI into the DCX2496 digital input? Is there an alternative way to get 24-bit audio from SACD or DVD-Audio (or something else) to the DCX?