AIDS-182000 AIDS182000 Benzenepropanoic acid, .beta.-(benzoylamino)-.alpha.-hydroxy-, [(1aR,3aS,6aS,6bR)-1a-formyl-1,1a,3a,4,5,6,6a,6b-octahydro-5,5,6b-trimethylcycloprop[e]inden-2-yl]methyl ester, (.alpha.R,.beta.S)-