A compound of formula I' ##STR1## and pharmaceutically acceptable derivatives thereof including, for example, where applicable or appropriate pharmaceutically acceptable salts thereof. Ar and Ar' are aromatic or aryl type groups. The compounds have HIV integrase inhibitory properties. Ar, Ar' and W may be as defined in the specification.

Een samenstelling van formule I ' ## STR1 ## en farmaceutisch aanvaardbare derivaten daarvan met inbegrip van, bijvoorbeeld, waar toepasselijke of aangewezen farmaceutisch aanvaardbare zouten daarvan. AR en AR ' zijn aromatische of aryl typegroepen. De samenstellingen hebben HIV integrase remmende eigenschappen. AR, AR ' en W kunnen zijn zoals die in de specificatie wordt bepaald.