(17.beta.)-17-Hydroxy-4,5-epoxy-3-oxoandrostane AIDS-033171 AIDS033171 Androstan-3-one deriv.