AIDS-146135 AIDS146135 NSC672129 Trimethyl 6-hydroxy-6-(2-methoxy-2-oxoethyl)-3-oxo-5-(2-phenylvinyl)-1,2,4-cyclohexanetricarboxylate