The present invention provides for compounds useful for treating an HIV-1 infection, or preventing an HIV-1 infection, or treating AIDS or ARC. The compounds of the invention are of formula I wherein R1, R2, R3, R4, R5 and X are as herein defined. Also disclosed in the present invention are methods of treating an HIV infection with compounds defined herein and pharmaceutical compositions containing said compounds.