Which of the following audio formats uses compression to reduce the file size at the cost of audio quality?