Quantos anos Antonio Marcos tinha quando morreu?