AIDS-082880 AIDS082880 NSC700422 Pyrimido[2,1-a]isoindol-6-ol, 2,3,4,6-tetrahydro-6-[4-(2-propenyloxy)phenyl]-