VGA debes llevarlo con un conversor de tipo RCA video (amarillo) hacia una entrada de video del AVR

Nunca lo probñe pero la teoría debería de ir.

O conversor video VGA a HDMI que no se si existe.