AIDS-043472 AIDS043472 Cyclooctapyranone deriv. [2-[[3-[Cyclopropyl(4-hydroxy-5,6,7,8,9,10-hexahydro-2-oxo-2H-cycloocta[b]pyran-3-yl)methyl]pheny]amino]-2-oxoethyl]carbamic acid, 1,1-dimethylethyl ester