1-[1-(4-Fluoro-1-naphthoyl)piperidin-4-yl]-4-{4-[(4-methoxyphenyl)sulfonyl]benzyl}piperazine AIDS-003580 AIDS003580