For the best (and most expensive) result you need to convert the amiga rgb-signal to YUV. There are professional transcoders which do this. Then you need a good capturecard on the PC which support YUV-signals (beta sp). This gives you the best signal possible from the Amiga, far more superior than a compositesignal.
Then use a good program like Cleaner to convert to div-x.