| abstract |
Described are compounds of formula (I) wherein Rx is cyano or bromo; R 1 is halogen, R 2 is alkyl of 1 to 3 carbon atoms, and pharmaceutically acceptable salts thereof, the corresponding compounds which release the compound of formula (I) in vivo, pharmaceutical compositions containing the compounds listed above, and the use of said compounds for treatment or for the manufacture of a medicament for the treatment or prevention of HIV. |