Convert WAV to MP3

Turn big WAV recordings into small MP3s.