AIDS-017701 AIDS017701 Phenyl-succinic acid