(2S,5S)-1-{[4-(tert-Butyl)cyclohexyl]methyl}-5-cyclohexyl-2-(cyclohexylmethyl)-2-imidazolino[1,2-a]imidazolidine AIDS-088506 AIDS088506