4-Piperidone, 1-phenyl- AIDS-167157 AIDS167157