3-[3-[(Cyclopropyl)[(1-methyl-2-imidazolylsulfonyl)methyl]phenyl]methyl]-5,6,7,8,9,10-hexahydro-4-hydroxycycloocta[b]pyran-2-one AIDS-042833 AIDS042833 Cyclooctylpyranone, imidazolylsulfonyl deriv.