Realtime recording in multiple encodings python

I am working on a project that requires audio recording and am using python. I would like to use a start button to begin recording and a stop button to stop it. Additionally, I'd like to support multiple filetypes like .wav, .mp3, .aiff.

As far as I know, there doesn't exist something that can do this "in one go", meaning I could record something as a .wav and then post-process the file to encode it in different formats using ffmpeg or a similar library.

This presents a small problem because my project is web-based, so I would have to save the .wav and then save the .*.

Does anyone know of another solution to my problem?

Thanks, erip