AIDS-135209 AIDS135209 Huperzine A, 6-.beta.-hydroxy- NSC634577