AIDS-137817 AIDS137817 Ethyl 2-(diethoxyphosphoryl)-3-(2-thienyl)acrylate NSC643149 Triethyl thenylidenephosphonoacetate