Idenix Pharmaceuticals LLC, Wilmington (US), Idenix GmbH