AIDS-143871 AIDS143871 Benzyl 2-(4,4-dimethyl-5-oxo-4,5-dihydro-1,3-oxazol-2-yl)-1-pyrrolidinecarboxylate NSC665619