HDMI/SPDIF Separation and Passthrough to Denon AVR

Have you read these wiki entries?
In your setup you can not use HDMI directly to the AVR (actually why not?) you would disable sound on HDMI and configure passthrough for the SPDIF supported codecs.