2,4-Imidazolidinedione, 5-(1H-imidazol-4-ylmethyl)-3-[2-phenyl-4-(4-phenyl-1-piperidinyl)butyl]-, (5R)- AIDS-112351 AIDS112351