Cualquiera de los descritos es una buena opcion para lo que quieres, excepto el harman, que está por debajo en prestaciones.
Personalmente, por prestaciones elegiria por este orden: El Onkyo, el Yamaya, el Pioneer y el Denon.
Luego, claro está, tambien influiria en la decision final el mejor precio.