(4S,5S)-4,5-bis((1R)-1-Fluoro-2-phenylethyl)-1,3-diprop-2-enylimidazolidin-2-one AIDS-058346 AIDS058346