2-(Cyclohexylamino)decahydro-1H-benzo[de]isoquinoline-1,3(2H)-dione AIDS-127896 AIDS127896 NSC201638