2,4-Dimethyl-oct-2-enoic acid (1R,4S,4aR,6S)-4-[1-(N,N'-dicyclohexyl-carbamimidoyloxy)-methanoyl]-6-(1-formyl-vinyl)-4a-methyl-7-oxo-1,2,3,4,4a,5,6,7-octahydro-naphthalen-1-yl ester AIDS-088144 AIDS088144