(4.alpha.,5.alpha.,17.beta.)-4,5-Epoxy-17-hydroxyandrost-3-oxo-2-carboxylic acid methyl ester AIDS-033160 AIDS033160 Androstan-3-one-3-oxo-2CONH deriv.