FWIW, loss of audio is 99% likely to be the result of a failed HDCP handshake. Standard HDMI handshake troubleshooting would apply. If that's the case, simply changing the AVR to a different input and back again could resolve it, or shutting the AVR off and back on.

In the way of resolution, powering the devices on in different order might find a fix.