(2S,5S)-2-Benzyl-5-tert-butyl-1-ethyl-2,3,5,6-tetrahydro-1H-imidazo[1,2-a]imidazole AIDS-088525 AIDS088525