I'm using DivX (DivX Video Software | Free Video Software | DivX Format | DivX.com). It works fine and with it you can convert also avc -files (FPV-Video -files from your receiver's SD-card).
Edting I do with Adobe Premier Elements 14. It also works with 4K-material.