First you need to extract the mpg's from the .bin files. You can use ISObuster or VCDEasy. Then run the mpegs through SVCD2DVD.