4-((Diisopropylamino)carbonyl)-1-cubanecarboxylic acid AIDS-137157 AIDS137157 NSC640907