Eso es muy sencillo.
Coges el portatil, HDMI del pc al HDMI frontal por ejemplo del receptor.
Pones música y le dices a Windows que lo saque por HDMI
Selecciona la fuente HDMI FRONT en el Denon y le indicas que la entrada está en ON (por si está en OFF) y que es vía HDMI vayamos que tenga otras entradas a seleccionar cosa que dudo ya que estás en una fuente con entrada única.
Y voilà, ... debe oírse.