1,2,4-Triazino[5,6-c]quinoline AIDS-017455 AIDS017455