AIDS-085953 AIDS085953 Methyl 3.beta.-hydroxy-5-androstene-17.beta.-carboxylate