4OH-cycloheptapyran-2-one, EtSO2NH deriv. AIDS-043231 AIDS043231 N-[3-[Cyclopropyl(2,5,6,7,8,9-hexahydro-4-hydroxy-2-oxocyclohepta[b]pyran-3-yl)methyl]phenyl]ethanesulfonamide