Use of 2-oxo-2h-pyrrol-1(5h)-carboxamide derivatives as anti-hiv agents