4-Iodo-1-cubanecarboxylic acid AIDS-137142 AIDS137142 NSC640892