Synthesis and chromatographic enantioresolution of anti-HIVquinolone derivatives