AIDS-085954 AIDS085954 Methyl 3-oxo-4-androstene-17.beta.-carboxylate