Compound of formula (I), (I) wherein values of substitutes R1, R2, R3, R4, R5, R9, R10, X, Y are provided in the claims or their pharmaceutically acceptable salt, pharmaceutical composition on a basis thereof, and their usage for prevention or treatment of HIV-infection or AIDS. s Table: 6