Text this: Penicilina em Portugal (anos 40-50 do século XX): receção, importação e primeiros tratamentos