1-Butyl-3-(cyclohexylmethyl)-9-[(2-phenyl-1H-imidazol-5-yl)methyl]-1,4,9-triazaspiro[5.5]undecane-2,5-dione AIDS-115888 AIDS115888 E916