3-Oxoandrost-4-ene-17.beta.-carboxylic acid AIDS-085955 AIDS085955