3-Propyl-2,3-hexanediol AIDS-017558 AIDS017558