AIDS-017846 AIDS017846 alpha-Naphthoxypropionic acid