Oops! Never mind!
Apologies: I was actually configuring AVideMux incorrectly on the conversion back. I have succeeded.
Maybe I can delete this post: but actually I'm still very curious if someone can answer, since I would try VLC for the same task ...