def iso_string_to_sql_utcdatetime_mysql(x: str) -> str:
    """
    Provides MySQL SQL to convert an ISO-8601-format string (with punctuation)
    to a ``DATETIME`` in UTC. The argument ``x`` is the SQL expression to be
    converted (such as a column name).
    """
    return (
        f"CONVERT_TZ(STR_TO_DATE(LEFT({x}, 26),"
        f"                       '%Y-%m-%dT%H:%i:%s.%f'),"
        f"           RIGHT({x}, 6),"  # from timezone
        f"           '+00:00')"  # to timezone
    )
    # In MySQL:
    # 1. STR_TO_DATE(), with the leftmost 23 characters,
    #    giving microsecond precision, but not correct for timezone
    # 2. CONVERT_TZ(), converting from the timezone info in the rightmost 6
    #    characters to UTC (though losing fractional seconds)