Concise synthesis of anti-HIV-1 active (+)-inophyllum B and (+)-calanolide A by application of (-)-quinine-catalyzed intramolecular oxo-Michael addition.