3-Pyrrolidinecarboxylic acid, 1-[[ethyl(1-methylethyl)amino]carbonyl]-3,4-dihydroxy-, (3S,4S)- AIDS-121717 AIDS121717