Yes, default audio device is set to the AVR.
There is no setting to select which audio device is used in game for F1 2020 audio playback on Windows.
The only thing that can be changed in the audio settings in which device is used for radio messages. That one is set to automatic.
As per request, the two files, DxDiag.txt and hardware_settings_config.xml have been attached to this post.