AIDS-161353 AIDS161353 NSC687546 NSC687547 Tert-butyl 1-benzyl-5-thioxo-2-pyrrolidinecarboxylate