The present invention provides compounds for treating or preventing an HIV infection, or treating AIDS or ARC comprising administering a compound according to formula I where Ar, R1-R5, R11c and X1 are as defined herein.