AIDS-018718 AIDS018718 beta-1-Piperidylpropiophenone