AIDS-017705 AIDS017705 Bromo(2-cyclohexyleth-yl)malonic acid