Muchas gracias por las respuestas, Atheneo y Bully.
Tal como proponía Atheneo, he conectado un switch 4k al reproductor y he solucionado el problema: mando señal 4k directa al proyector 4k y mando señal directa 4k al receptor, que la reduce a HD para adaptarla a los componentes HD conectados. Esta segunda señal, además, saca el audio para los altavoces conectados al receptor.
Es una solución perfecta para lo que necesito, ya que me ahorro tener que ir enchufando y desenchufando cables.
De nuevo muchas gracias. Me encanta este foro. Llevo años leyéndolo, y aunque no soy muy activo en la participación, lo tengo siempre como una fuente abundante y fiable de consulta de lo audiovisual.
¡Larga vida!