No existen los discos duros con HDMI sin que tengan reproductor (o que sean un pequeño pc).

Si conectas por HDMI, el reproductor de la música o lo que sea va a ser el disco duro.

Si quieres que sea el receptor el que reproduzca SOLO podrías con un disco duro de red y conectar el vsx a la red local de casa, reproduciendo con él

Otra opción muy similar es conectar por HDMI y pasar el audio en bitstream, lo que quiere decir que aunque reproduce el disco duro (o lo que sea), es el vsx el que hace la decodificación del audio digital y la conversión DAC, con lo que, digamos, que la calidad de lo que oyes depende del receptor