Ich benutze dazu AudioSwitcher [Freeware / Donationware] seit langem.
Es ist nicht automatisch, kann aber per Hotkey oder über ein Popup der Taskleiste ausgelöst werden, um die Audioausgänge im laufenden Betrieb auszutauschen. Ein Neustart ist nicht erforderlich.
Ich habe es noch nie mit HDMI getestet, aber es funktioniert perfekt, wenn ich vergessen habe, die Ausgänge von iTunes - RCA-Stereo zu wechseln. vor dem Start auf VLC - analog 5.1.
Früher musste ich aufhören, die Ausgaben tauschen, einen Neustart durchführen ... langweilig.