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-R4 and Ar are as herein defined. Also disclosed in the present invention are methods of treating an HIV-1 infection with compounds defined herein and pharmaceutical compositions containing said compounds ##STR00001##