1,2-Ethanediol, 1-[(2R,3S,4S)-4-fluoro-3-hydroxy-2-pyrrolidinyl]-, (1R)- AIDS-180829 AIDS180829