5,6-Methylenedioxy-2-[N-(2-methoxyphenyl)piperazinyl]carboxindole AIDS-070458 AIDS070458