AIDS-151040 AIDS151040 Ethyl 2-(benzoylamino)-4,5,6,7-tetrahydro-1-benzothiophene-3-carboxylate NSC690131