Hi Peter
audacity will be recording wave files and wav format should be saved to make cds.

For mp3 you need an encoder codec, google for lame_enc.dll, it's free, download and unzip to anywhere on the pc and the program will ask for the location the first time you save as mp3.