Shrink an audio file by re-encoding it as MP3 at a bitrate you pick, with the new size estimated before you start. The whole encode runs on your own device.