1,6-Bis(1-propylcyclohexyl)-1H-indolo[5,4,3-def]isoquinoline-2,5,7(6H)-trione AIDS-151739 AIDS151739 NSC693217