9-(Cyclopropylmethyl)-3-(cyclopropylphenylmethyl)-4-hydroxy-6,7,8,9-tetrahydro-5H-cyclohepta[b]pyan-2-one AIDS-043461 AIDS043461 Cycloheptylpyranone deriv.