10-(Tetrahydropyran-2-ylmethyl)-3-(cyclopropylphenylmethyl)-4-hydroxy-5,6,7,8,9,10-hexahydrocycloocta[b]pyran-2-one AIDS-043457 AIDS043457 Cyclooctapyranone deriv.