is AVS * DAT video files supported ?

I have few  video files with AVS***.DAT   format  . would like to convert them  to MP4  .  Will DIVX  be a helpful tool to do this conversion ?