The application describes compounds of formula I wherein a, R, R, R, R, R and R are defined in the present invention, which are useful as inhibitors of HIV replication.В заявке описаны соединения формулы Iв которой a, R1, R2, R3, R4, R5 и R6 определены в настоящем изобретении, которые применимы в качестве ингибиторов репликации ВИЧ.