Two Formula 1 teams have formally challenged the decision to reinstate Alpine driver Pierre Gasly to the podium of the Monaco Grand Prix after a timing error was discovered.