3-(4-Fluorophenyl)-3,4,7,8,9,10-hexahydro-11H-[1]benzothieno[2',3':4,5]pyrimido[2,1-f][1,2,4]triazin-11-one AIDS-150707 AIDS150707 NSC688502