AIDS-020772 AIDS020772 Benzofuro[3,2-g]quinoline