Intuyo que lo que ha tenido en sus manos tu colega ha sido un Video CD (VCD). El VCD se graba en un CD-R/RW convencional, no en un DVD y puede ser reproducido por la inmensa mayoría de los reproductores DVD domésticos. Es un formato "muy antiguo" y ofrece menor calidad que el propio divx. Y por supuesto un video comprimido en divx puede ser convertido a VCD. Te remito a una simple búsqueda en Internet para buscar herramientas y manuales de conversión.
También cabe la posibilidad de que el divx pueda ser convertido a DVD video (formato de las películas comerciales, aunque es un procedimiento más laborioso), en cuyo caso el soporte de grabación sí sería un DVD-R/RW ó DVD+R/RW. Pero me inclino a pensar que el primer caso expuesto sea el más probable.