AIDS-167152 AIDS167152 Piperidine, 1-(4-nitro-1-naphthyl)-