It seems that what you are looking for is an HDMI audio embedder.
It seems that the Tascam DR-701D offers this functionality as described in Outputting this unit's audio as the HDMI output audio
Examples of external alternative such products can be found here (I am not affiliated with these manufacturers, other products might exist):
You might check that the embedding process does not induce lipsync issues.