(4S,5S)-4,5-bis((1R)-1-Fluoro-2-phenylethyl)-1,3-bis(3-methyl(2-naphthyl))imidazolidin-2-one AIDS-058345 AIDS058345