AIDS-017612 AIDS017612 Alpha-Hexyl-cyclohexanevaleric acid