4144-62-1 AIDS-017961 AIDS017961 delta-Benzoylvaleric acid