4-(Methoxycarbonyl)-1-cubanecarboxylic acid AIDS-137135 AIDS137135 NSC640885