AIDS-142277 AIDS142277 Benzyl 3,4-bis(benzyloxy)-2-(hydroxymethyl)-1-pyrrolidinecarboxylate NSC659312