Cannot output sound on HDMI port

I have an HP laptop under Ubuntu 24.04 and I cannot output sound on the HDMI port. ALSAMixer or wpctl see the HDMI output, but there is no other audio port seen by the system other than built-in. ...