AIDS-142276 AIDS142276 Benzyl 3-hydroxy-2-(hydroxymethyl)-1-pyrrolidinecarboxylate NSC659311