the application describes compounds of formula (i)in which r1, r2, a1, a2, a3, a4, x and y are as defined in the present invention, applicable as inhibitors of hiv (human immunodeficiency virus replication. century).В заявке описаны соединения формулы (I)в которой R1, R2, A1, А2, А3, А4, Х и Y являются такими, как определено в настоящем изобретении, применимые в качестве ингибиторов репликации ВИЧ (вирус иммунодефицита человека).