12-Benzylindolo[2,3-a]3-pyrrolino[3,4-c]carbazole-5,7-dione AIDS-112070 AIDS112070 Arcyriaflavin A analog