Disclosed are compounds for use in the treatment of human immunodeficiency virus (HIV) infection. These compounds have the following formula (Ia): and include stereoisomers and pharmaceutically acceptable salts thereof, in which A, A ′, R1 and R2 As defined in Also disclosed are methods relating to the preparation and use of such compounds, and pharmaceutical compositions containing such compounds. In another embodiment, the use of a compound of formula (Ia) or a pharmaceutically acceptable salt thereof as a research tool is disclosed.ヒト免疫不全ウイルス(HIV)感染の処置において使用するための化合物が開示される。これらの化合物は、以下の式(Ia):を有し、その立体異性体および薬学的に許容される塩を含み、式(Ia)において、A、A’、R1およびR2は、本明細書中で定義されるとおりである。このような化合物の調製および使用に関する方法、ならびにこのような化合物を含有する医薬組成物もまた、開示される。別の実施形態では、研究ツールとしての、式(Ia)の化合物またはその薬学的に許容される塩の使用が開示される。