3-(o-Carboxyphenyl)-6-phenyllutidinic acid AIDS-017513 AIDS017513