Productive Lindelöfness and a class of spaces considered by Z. Frolík