a portrait of Asterix painted by Andy Warhol