i'm back after several years and in the past 2010 i used a bunch of tools to convert in AVI this kind of files:

Rai Storia @171014_11OTT2011.trp
Rai Storia @171014_11OTT2011.ifo
Rai Storia @171014_11OTT2011.idx

In 2019 with a Nvidia GPU and Core i7 whats is the best and fastest procedure to accomplish this task?

Old used tools were DGTools, tsMuxeR and Megui but now i forgot and i'm seeking help here