Mac users can often use the QuickTime Player "Export As" feature to change formats. To provide a more detailed write-up, could you clarify:
Programs like Movavi or VLC Media Player allow for batch conversions where you can set specific resolutions like 480p. 1b4a1668c0.480.avi.mp4
Are you trying to with this specific naming convention? Mac users can often use the QuickTime Player