I guess I never found out how to do that. I’ve been using VLC for many years and never found a way to encode a file to something else, change its bitrate, and save to disk. It doesn’t work on iOS for sure.