AIDS-038317 AIDS038317 NSC700415 Pyrimido[2,1-a]isoindol-6-ol, 2,3,4,6-tetrahydro-6-[3-(2-propenyloxy)phenyl]-, monohydrochloride