Effect of alkyl substitution on the ease of oxidation of bicyclo[1.1.0]butanes. Experimental verification of PRDDO calculations for the nature of the HOMO of bicyclo[1.1.0]butane