3,6-Dimethyl[1,2,4]triazolo[3,4-a]isoquinoline-5-carboxylic acid AIDS-150387 AIDS150387 NSC687431