4-Allyl-1-methyl-5-oxo-4,5-dihydro-3aH-thiazolo[3,2-a]quinazoline-2-carboxylic acid ethyl ester AIDS-051176 AIDS051176 NSC658298