AIDS-129912 AIDS129912 Methyl (3-oxo-5,6,7,8-tetrahydro[1,3]thiazolo[3,2-a][1,3]diazepin-2(3H)-ylidene)acetate NSC371815