2,5,6-Trimethyl-3-(4-oxo-cyclohexa-2,5-dienylideneamino)-3H-thieno[2,3-d]pyrimidin-4-one AIDS-185634 AIDS185634