AIDS-131865 AIDS131865 Ethyl 4-cyano-5-oxo-2-thioxo-3-pyrrolidinecarboxylate NSC624863