3-Oxo-4-aza-5-androstene-17.beta.-carboxylic acid AIDS-085958 AIDS085958