80/87 avgas