AIDS-128188 AIDS128188 Diethyl 2-(2-thienyl)-3-(3-thienyl)succinate NSC241138