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