3-[3-[(Cyclopropyl)[(4-cyanophenylsulfonyl)methyl]phenyl]methyl]-5,6,7,8,9,10-hexahydro-4-hydroxycycloocta[b]pyran-2-one AIDS-042831 AIDS042831 Cyclooctylpyranone, phenylsulfonyl deriv.