3-(Cyclopropylphenylmethyl)-6,7,8,9-tetrahydro-4-hydroxycyclohepta[b]pyran-2(5H)-one AIDS-043458 AIDS043458 Cyclooctapyranone deriv.