¿Es posible convertir archivos ivr a otro formato de audio?

A través del programa Real Player he grabado unas canciones de radios en streaming pero resulta que dicho programa las graba en el formato ivr (o quizás sea irv).

El caso es que sólo las puedo reproducir con el Real Player y por eso me gustaría convertirlas a otro formato más popular (por ejemplo wma o mp3).

¿Se puede hacer eso con Audacity?.

Gracias por la ayuda.