3-(Cyclopropylphenylmethyl)-4-hydroxy-6,7,8,9-tetrahydro-9-(methoxymethyl)cyclohepta[b]pyran-2(5H)-one AIDS-043459 AIDS043459 Cycloheptylpyranone deriv.