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