Studies on pyrrolidinones. Derivatives of 1,2,3,5,10,10a‐hexahydrobenz[f]indolizine‐3,10‐dione