Marinated artichokes with red onion, garlic, basil and olive oil