AIDS-128153 AIDS128153 Dimethyl 2-(3-bromo-1.lambda.~5~-quinolin-1-yl)-3-hydroxy-2-butenedioate NSC233980