6β- and 6α-nitrocholest-4-ene and 5α-cyano-6α-nitrocholestane