AIDS-115712 AIDS115712 Carbamic acid, [(1S,4S)-1-cyclohexyl-3,16-dimethyl-2,5,8,9,12,15-hexaoxo-14-phenyl-4-(phenylmethyl)-7-propyl-3,6,10,13,16-pentaazaheptadec-1-yl]-, 2-methylpropyl ester