AIDS-137958 AIDS137958 Methyl 5.beta.-lithocholate NSC643720