[FFmpeg-user] How to replace a segment of audio in a video with audio from an audio file?

[Steve Bick]

I have video.mp4 of duration 1:25:53. I want to replace the audio from 5:16
- 8:08 with audio from audio.mp3 duration 3:03. (The last part of the audio
can be clipped in order to fit into the 5:16 - 8:08 segment of video.)

What is the correct ffmpeg command to achieve this?