张军同学用麦克风录制了一段WAV格式的音乐，由于文件容量太大，不方便储存，在正常播放音乐的前提下，要把文件容量变小，张军使用的最好办法是（）.