7-Benzoyl-8,9-dihydro-6H-benzo[de][1,3]benzodioxolo[4,5-g]quinoline-6a(7H)-carbonitrile AIDS-133042 AIDS133042 NSC628138