The compounds described herein are provided, including compounds of formula I ': and salts of these compounds. Also provided are pharmaceutical compositions containing the compounds described in this application, methods for producing the compounds described in this application, intermediates suitable for preparing the compounds described in this application, and therapeutic methods for treating HIV infection using the compounds described in this application .Предложены соединения, описанные в настоящей заявке, включая соединения формулы I':и соли указанных соединений. Также предложены фармацевтические композиции, содержащие соединения, описанные в настоящей заявке, способы получения соединений, описанных в настоящей заявке, промежуточные соединения, подходящие для получения соединений, описанных в настоящей заявке, и терапевтические способы лечения ВИЧ-инфекции с применением соединений, описанных в настоящей заявке.