23-Methyl-ursodeoxycholic acid (.alpha.) AIDS-141735 AIDS141735 NSC657953