La verdad Mad 1 dio con la tecla, ahora se llama Helix, hace un par de años atras se llamaba Real System, yo tengo una version vieja, quizas te pueda servir.

Ahora bien como te dijo Blac, Windows Media Encoder esta bueno. Hay un programita que lo bajas desde el web de micro$oft, pero obviamente no es un soft para alojar 4000 users. Es para conectar a lo sumo 20 users..
Quizas para hacer pruebas te sirva y si te va bien, podes instalarte Windows 2000 Advanced Server o Windows 2003 Enterprise Server, que viene con los Windows Media Services, o sea es un servidor justo para lo que necesitas, aunque tene en cuenta que Windows Media funciona en PC con Windows, y MAC no se si levanta, supongo que si mediante quicktime + codecs.

Si buscas Real Audio, lo que te dije anteriormente, bajate todos los .PDF de aca: http://www.realnetworks.com/products/connectedserver/index.html supongo por lo que dice las Spec necesitas un RELAY, que es el que distribuye el contenido que captura mediante download a los usuarios.

Obvio todo esto sale muchisima plata, tengo entendido que el Real System Server en el 98' salia como 9000 dolares, no se ahora..

Espero que te sirva, y cualquier cosa te aconsejo que busques algún foro más especifico-tecnico en USA que aca, ya que la mayoria somos músicos, ingenieros o hobbistas.

Saludos