AIDS-017644 AIDS017644 Dicyclohexylglycolic acid