Various embodiments relate to a compound of the formula (I) and (II), wherein X, X1, X2, X3, and R1-R4 are defined herein, as well as pharmaceutical compositions comprising compounds of the formula (I) and/or (II) and methods of treating an HIV infection comprising administering a therapeutically effective amount of one or more compounds of formula (I) and/or (II), or a pharmaceutical composition comprising compounds of the formula (I) and/or (II), to a patient in need thereof.