Ahmad is using Audacity to create an original audio recording for a game. In what file format should Ahmad save this recording?