Hacker News Reader

On current iPhone Pro (16) you can even select the audio mix you want for recorded video after recording.

Unfortunately in practice I've found it sounds not great.

Depends. In my practice (selfie camera videos) I found it to be unbelievably good.