669676665 gmolino@gmail.com

En realidad con este programa puedes convertir a MP3 (y otros formatos), cualquier sonido que reproduzca tu tarjeta de sonido.

Con un par de ajustes se encarga de reconocer las canciones, y en la mayoría de los casos, reconoce el autor. Se puede elegir el formato, la calidad del sonido, etc.

Lo he probado con Spotify y va bastante bien.