Lo más inmediato es que le pongas un pincho bluetooth al PC, (10€?) en el mezclador, bajas la fuente de audio del HDMI Y subes la del bluetooth.
Desde el ampli, no se si se puede asignar la fuente, dentro de todas las opciones posibles, a ver si alguien te ayuda