Conoscete qualche software a 64bit per farlo?
Al momento sto usando ConvertXToDVD che gira pero' a 32bit...