Sampling audio + exporting to some audible format

Hello guys, I'm new over here and I've just bought an Arduino Due (I've never used an Arduino before, but so far I haven't had any problem).
I would like to know if you can help me. I've build an amp to an electret with a 3 stage transistor with a low pass filter (with a cut off frequency of 3khz). My sampling rate is 10khz (it's enough for me and it won't suffer from aliasing).
My ADC is recording only one channel (mono); I would like to know how to convert my ouput (12 bits) to an audible format (I mean: to store like an audio format i.e .wav and reproduce it on the PC).
Sorry if my question is kind of dumb, but I don't know how to proceed. If someone can enlight, please let me know =)

let me google that for you :