1-Piperidineethanol, alpha-[(2-naphthalenyloxy)methyl]- AIDS-054650 AIDS054650