Carboxy-substituted 2-azetidinones as cholesterol absorption inhibitors