3-{[4-(4-Nitrophenyl)piperazin-1-yl]carbonyl}-2-naphthol AIDS-010257 AIDS010257