AIDS-140771 AIDS140771 Ethyl 3-allyl-7,9-dimethyl-4-oxo-2-thioxo-3,4-dihydro-2H-[1,3]thiazino[6,5-b]indolizine-10-carboxylate NSC653943