AIDS-058385 AIDS058385 Cyclooctylpyranone deriv. N-[3-[Cyclopropyl(5,6,7,8,9,10-hexahydro-4-hydroxy-2-oxo-2H-cycloocta[b]pyran-3-yl)methyl]phenyl]-8-naphthalenesulfonamide